Viktor Kuncak
Il - He/him
EPFL IC IINFCOM LARA
INR 318 (Bâtiment INR)
Station 14
1015 Lausanne
+41 21 693 52 81
+41 21 693 49 43
Office:
INR 318
EPFL › IC › IINFCOM › LARA
Site web: https://lara.epfl.ch
+41 21 693 52 81
Office:
INR 318
EPFL › IC › IC-SIN › SIN-ENS
Site web: https://sin.epfl.ch
+41 21 693 52 81
Office:
INR 318
EPFL › IC › IC-SSC › SSC-ENS
Site web: https://ssc.epfl.ch
Publications représentatives
Deciding Boolean Algebra with Presburger Arithmetic
Viktor Kuncak, Hai Huu Nguyen, and Martin Rinard
Published in Journal of Automated Reasoning, 36(3), 2006 in
Modular Pluggable Analyses for Data Structure Consistency
Viktor Kuncak, Patrick Lam, Karen Zee, and Martin Rinard
Published in IEEE Transactions on Software Engineering, 32(12), 2006 in
Relational Analysis of Algebraic Datatypes
Viktor Kuncak and Daniel Jackson
Published in Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2005 in
Structural Subtyping of Non-Recursive Types is Decidable
Viktor Kuncak and Martin Rinard
Published in Eighteenth Annual IEEE Symposium on Logic in Computer Science, 2003 in
Role Analysis
Viktor Kuncak and Patrick Lam and Martin Rinard
Published in Proceedings of the 29th Annual ACM Symposium on Principles of Programming Languages, 2002 in
Enseignement et PhD
Doctorant·es actuel·les
Matthieu Bovel, Auguste Poiroux, Sankalp Gambhir, Samuel Chassot, Lazar Milikic
A dirigé les thèses EPFL de
Ruzica Piskac (2011), Philippe Suter (2012), Hossein Hojjat (2013), Eva Darulova (2014), Tihomir Gvero (2015), Etienne Kneuss (2016), Régis William Blanc (2017), Mikaël Mayer (2017), Qiang Wang (2017), Ravichandhran Kandhadai Madhavan (2017), Nicolas Voirol (2019), Manos Koukoutos (2019), Romain Edelmann (2021), Georg Stefan Schmid (2022), Rodrigo Raya (2023), Dragana Milovancevic (2025), Simon Guilloud (2026)